Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs
نویسندگان
چکیده
In the following we investigate the computational complexity of various !-GRAPH ACCESSIBILITY PROBLEMs on the most general restricted type of !-branching programs for which, up to now, exponential lower bounds on the size can be proved. By means of exponential lower bounds on various ranks of certain communication matrices we prove that !GRAPH ACCESSIBILITY PROBLEMs can not be computed by bounded alternating !-branching programs within polynomial size. In contrast, !-GRAPH ACCESSIBILITY PROBLEMs restricted to monotone graphs can by computed by such devices.
منابع مشابه
Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits
Each (nondeterministic) multilective VLSI-circuit C of area A can be simulated by an oblivious (disjunctive) branching program of width exp(O(A)) which has the same multiplicity of reading as C. That is why exponential lower bounds on the width of (disjunctive) oblivious branching programs of linear depth provide lower bounds of order Sl(nlm2’), 0 <a < i, on the area of (nondeterministic) multi...
متن کاملSuperlinear Lower Bounds for Bounded-Width Branching Programs
We use algebraic techniques to obtain superlinear lower bounds on the size of bounded-width branching programs to solve a number of problems. In particular, we show that any bounded-width branching program computing a nonconstant threshold function has length (n log log n); improving on the previous lower bounds known to apply to all such threshold functions. We also show that any program over ...
متن کاملBandwidth Constraints on Problems Complete for Polynomial Time
A graph G = ( b’. El has bandwidth k under a layout L : V 4’ ’ { 1. . . . , 1 VJ} if, for all {s. y} E E. jL(x 1 -L(y)] s k. Bandwidth constraints on several problems that are complete for [Fp (under log space reductions) are considered. In particular, the solvable path system problem and the and/or graph accessibility problem under various bandwidth constraints are used to prove results about ...
متن کاملBounds on First Reformulated Zagreb Index of Graph
The first reformulated Zagreb index $EM_1(G)$ of a simple graph $G$ is defined as the sum of the terms $(d_u+d_v-2)^2$ over all edges $uv$ of $G .$ In this paper, the various upper and lower bounds for the first reformulated Zagreb index of a connected graph interms of other topological indices are obtained.
متن کاملComplexity of Boolean Functions
s of Presentation: Paul Beame: Time-Space Tradeoffs and Multiparty Communication Complexity 9 Beate Bollig: Exponential Lower Bounds for Integer Multiplication Using Universal Hashing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Philipp Wölfel: On k-wise l-mixed Boolean Functions . . . . . . . . . . . . . . 10 Elizabeta Okol’nishnikova: On One Lower Bound for Branching Progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991